-
1 верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация (доказательство правильности) программы
-
2 формальная верификация
eng.formal verificationrus.формальная верификацияukr.формальна верифікаціяПреобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка.English-Russian dictionary of information security > формальная верификация
-
3 program verification
- проверка правильности программы
- верификация программы
- верификация программ
- верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
EN
верификация программы
верификация
Доказательство того, что поведение программы соответствует спецификации на эту программу.
[ ГОСТ 19781-90]Тематики
- обеспеч. систем обраб. информ. программное
Синонимы
EN
проверка правильности программы
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Верификация
Program verification
Доказательство того, что поведение программы соответствует спецификации на эту программу
Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа
Англо-русский словарь нормативно-технической терминологии > program verification
-
4 verification
1) верификация, контроль, проверкасм. тж. data verificationб) в САПР электроники - проверка правильности электрических соединений принципиальной электрической схемы или соблюдения технологических норм изготовления печатных плат2) верификацияб) в программной инженерии - процесс оценки системы и/или её компонентов с целью установить, соответствуют ли в конце данного этапа разработки эти продукты спецификациям и условиям, налагаемым в его начале. Верификация не обнаружит ошибку, если входная спецификация была неверна, и эта ошибка может распространиться на дальнейшие этапы разработкиАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > verification
-
5 formal verification
eng.formal verificationrus.формальная верификацияukr.формальна верифікаціяПреобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка.English-Russian dictionary of information security > formal verification
См. также в других словарях:
верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification … Справочник технического переводчика
Верификация — Позитивизм … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Доказуемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Проверяемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия